HYVISUAL: A HYBRID SYSTEM MODELING FRAMEWORK BASED ON PTOLEMY II
نویسندگان
چکیده
منابع مشابه
HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II ?
HyVisual has a rigorous operational semantics described in [1]. A key property is that it internally uses superdense time, where signals are modeled as partial functions of the form f :R+ × N ⇀ V , where R+ is the non-negative real numbers and represents time, V is the value set (a data type, such as R), and N is the set of natural numbers. Continuous-time functions are total, whereas discrete-...
متن کاملModeling Distributed Hybrid Systems in Ptolemy II
Ptolemy II [2] supports the modeling of heterogeneous systems by using a hierarchical component-based architecture and well-defined models of computation. The basic component in Ptolemy II is called an actor. Actors have por t s , which are their communication interface to other actors. An aggregation of actors and their connections is called a comp o s i t e ac tor . A composi te actor can hav...
متن کاملModeling Event-Based Systems in Ptolemy II
Networked sensors are becoming an increasingly important field of research as power and size requirements grow smaller and it becomes easier to embed thousands or millions of these devices in our environment. However, there is currently very little programming support for these and other event-based systems. In this paper, we focus on TinyOS, an event-based operating system for Smart Dust netwo...
متن کاملThe Ptolemy II Framework for Visual Languages
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components.
متن کاملA Hybrid Machine Translation System Based on a Monotone Decoder
In this paper, a hybrid Machine Translation (MT) system is proposed by combining the result of a rule-based machine translation (RBMT) system with a statistical approach. The RBMT uses a set of linguistic rules for translation, which leads to better translation results in terms of word ordering and syntactic structure. On the other hand, SMT works better in lexical choice. Therefore, in our sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2006
ISSN: 1474-6670
DOI: 10.3182/20060607-3-it-3902.00050